Axiom A - PDFSEARCH.IO - Document Search Engine

Axiom A
Results: 172

#	Item
141	Sheaf Cohomology In this note we give the background needed to de…ne sheaf cohomology. In particular, we prove the following two facts. First, the category Ab(X) of sheaves on a topological space X has enough injectiv Add to Reading List Source URL: sierra.nmsu.edu Language: English - Date: 2004-08-10 18:12:14 Topology Homological algebra Algebraic geometry Functors Algebraic topology Sheaf Gluing axiom Stalk Direct image functor Abstract algebra Category theory Sheaf theory
142	Rend. Sem. Mat. Univ. Pol. Torino Vol. 61, [removed]D.A. Martin A SIMPLE PROOF THAT DETERMINACY IMPLIES LEBESGUE MEASURABILITY Add to Reading List Source URL: www.emis.de Language: English - Date: 2005-03-20 10:08:42 Descriptive set theory Axiom of projective determinacy Axiom of determinacy Axiom of choice L Θ Measure Universally measurable set Mathematical logic Set theory Determinacy
143	Looking Ahead ? ?? Peter B. Andrews Carnegie Mellon University, Pittsburgh, PA, U.S.A. Add to Reading List Source URL: gtps.math.cmu.edu Language: English - Date: 2013-05-11 14:08:31 Automated theorem proving Formal methods Formal systems Reasoning system Automated reasoning Mathematical logic Axiom Theorem Formal proof Logic Reasoning Logical syntax
144	A BSTRACT. We describe a construction of a moduli space of solenoid functions for the C 1C -conjugacy classes of hyperbolic dynamical systems f on surfaces with hyperbolic basic sets f . We explain that if the holonomie Add to Reading List Source URL: www.numerical-yoga-guru-rupnathji.net46.net Language: English - Date: 2013-02-20 06:17:41 Mathematical analysis Diffeomorphism Anosov diffeomorphism Stable manifold Hyperbolic set Hyperbolic partial differential equation Axiom A Structural stability Dynamical systems Topology Mathematics
145	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
146	Voevodsky’s Univalence Axiom in Homotopy Type Theory Steve Awodey, Álvaro Pelayo, and Michael A. Warren T Add to Reading List Source URL: www.ams.org Language: English - Date: 2013-09-09 12:55:06 Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Algebraic topology Homotopy category Homotopy theory Topology Mathematics
147	March 31, 2014 http://www.coloradocapitolwatch.com/bill-tracker-votes[removed]/ “It’s clearly a budget; it’s got a lot of numbers in it” —George W. Bush Days until Sine Die: 37 Axiom thanks the many new Add to Reading List Source URL: www.aurorachamber.org Language: English - Date: 2014-03-31 18:02:08 Governors of Colorado John Hickenlooper Denver Colorado Referendum J Colorado Colorado gubernatorial election State governments of the United States
148	Derivation of Continuum Hypothesis from Axiom of Combinatorial Sets Kannan Nambiar In set theory [1], two sets are considered to have the same cardinality, if a one-to-one correspondence can be set up between them. Canto Add to Reading List Source URL: www.e-atheneum.net Language: English - Date: 2003-12-02 07:10:41 Cardinal numbers Infinity Ordinal numbers Forcing Aleph number Continuum hypothesis Georg Cantor Constructible universe Transfinite number Mathematical logic Mathematics Set theory
149	A Monolithic Perspective on Economic Methodology Victor Aguilar www.axiomaticeconomics.com ABSTRACT Add to Reading List Source URL: www.axiomaticeconomics.com Language: English - Date: 2013-10-30 05:43:59 Formal systems Elementary mathematics Fuels Nitromethane Axiomatic system Nitrate Axiom Mass Function Chemistry Mathematics Physics
150	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory

UPDATE